LOGIQUE POSITIVE ET NEGATIVE. DUALITE.CALEUF M.1977; ONDE ELECTR.; FR.; DA. 1977; VOL. 57; NO 4; PP. 312-315Article

RELATIONS POUR LE NOMBRE DES ACCORDS DES MODULES LOGIQUES MULTIFONCTIONNELSSTARODUBTSEV NA.1972; IZVEST. AKAD. NAUK S.S.S.R., TEKH. KIBERN.; S.S.S.R.; DA. 1972; NO 4; PP. 145-152; BIBL. 3 REF.Serial Issue

PROCESS LOGIC DIAGRAMSLYNCH EP.1973; CHEM. ENGNG; U.S.A.; DA. 1973; VOL. 80; NO 12; PP. 105-109; BIBL. 3 REF.Serial Issue

IMPLICATIONAL LOGICS IN NATURAL DEDUCTION SYSTEMSLOPEZ ESCOBAR EGK.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 1; PP. 184-186; BIBL. 4 REF.Article

INDIVIDUALISTIC FORMAL APPROACH TO DEONTIC LOGICGRZEGORCZYK A.1981; STUD. LOGICA; ISSN 0039-3215; POL; DA. 1981; VOL. 40; NO 2; PP. 99-102Article

THE DEDUCTIBILITY PROBLEM IN PROPOSITIONAL DYNAMIC LOGICMEYER AR; STREET R; MIRKOWSKA G et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 238-248; BIBL. 7 REF.Conference Paper

UNE AXIOMATISATION DE LA LOGIQUE DEONTIQUE A UNE INFINITE DE VALEURS.CALUDE C.1976; REV. ROUMAINE MATH. PURES APPL.; ROUMAN.; DA. 1976; VOL. 21; NO 3; PP. 267-273; BIBL. 7 REF.Article

COMMENTS ON "MINIMIZATION OF FUZZY FUNCTIONS"KANDEL A.1973; I.E.E.E. TRANSP. COMPUTERS; U.S.A.; DA. 1973; VOL. 22; NO 2; PP. 217; BIBL. 2 REF.Serial Issue

FURTHER TOWARDS A TRIADIC CALCULUS. ILONGYEAR CR.1972; J. CYBERN.; U.S.A.; DA. 1972; VOL. 2; NO 1; PP. 50-65Serial Issue

SUR LES ALGEBRES DE LUKASIEWICZBOICESCU V.1971; IN: LOGIQUE AUTOM. INF.; BUCAREST; ACAD. REPUB. SOC. ROUMANIE; DA. 1971; PP. 71-89; BIBL. 33 REF.Book

FORMAL SYSTEMS AND BOOLEAN VALUED COMBINATORICSNAMBA K.1983; STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS; ISSN 0049-237X; NLD; DA. 1983; VOL. 111; PP. 115-132; BIBL. 3 REF.Article

EXTREMELY UNDECIDABLE SENTENCESBOOLOS G.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 1; PP. 191-196; BIBL. 4 REF.Article

PROPOSITIONAL DYNAMIC LOGIC FOR CONCURRENT PROGRAMSNISHIMURA H.1982; PUBL. RES. INST. MATH. SCI.; ISSN 508233; JPN; DA. 1982; VOL. 18; NO 1; PP. 233-250; BIBL. 10 REF.Article

A BRIDGE BETWEEN TWO-VALUED AND MANY-VALUED SEMANTIC SYSTEMS: N-TUPLE SEMANTICSBATENS D.1982; INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. 12/1982-05-25/PARIS; USA; NEW YORK: IEEE; DA. 1982; PP. 318-322; BIBL. 6 REF.Conference Paper

SUPER-LUKASIEWICZ PROPOSITIONAL LOGICSKOMORI Y.1981; NAGOYA MATH. J.; ISSN 0027-7630; JPN; DA. 1981; VOL. 84; PP. 119-133; BIBL. 17 REF.Article

QUELQUES PROPRIETES DES STRUCTURES A INJECTION AVEC COLLECTEUR ANTI-SATURANTVEKSHINA EV; FURSIN GI.1978; MIKROELECTRONIKA; S.S.S.R.; DA. 1978; VOL. 7; NO 1; PP. 74-79; BIBL. 12 REF.Article

MODAL TREES FOR T AND S5.DAVIDSON B; JACKSON FC; PARGETTER R et al.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 4; PP. 602-606; BIBL. 2 REF.Article

ON SOME MODAL LOGICS RELATED TO THE POUNDS-MODAL SYSTEM.WILSON RL.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 191-206; BIBL. 7 REF.Article

CIRCUIT INTEGRATION BECOMING HIGHER WITH IIL REPLACING TTL.1974; J. ELECTRON. ENGNG; JAP.; DA. 1974; NO 94; PP. 46-48Article

ON THE DECIDABILITY OF PROPOSITIONAL ALGORITHMIC LOGICCHLEBUS BS.1982; Z. MATH. LOGIK GRUNDL. MATH.; ISSN 0044-3050; DDR; DA. 1982; VOL. 28; NO 3; PP. 247-261; BIBL. 8 REF.Article

POSSIBILITY SETS, FUZZY SETS AND THEIR RELATION TO NONLUKASIEWICZ LOGICPRADE H.1982; INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. 12/1982-05-25/PARIS; USA; NEW YORK: IEEE; DA. 1982; PP. 223-227; BIBL. 16 REF.Conference Paper

FINITE MODELS FOR DETERMINISTIC PROPOSITIONAL DYNAMIC LOGICBEN ARI M; HALPERN JY; PNUELI A et al.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 249-263; BIBL. 10 REF.Conference Paper

ON THE COMPLETENESS THEOREM FOR BI-MODAL SYSTEM LT_OMEGA AND LET_OMEGA KAWAI H.1981; MATH. JPN.; ISSN 0025-5513; JPN; DA. 1981; VOL. 26; NO 4; PP. 377-383; BIBL. 16 REF.Article

N-POLAR LOGIC OF CLASSESBIRNBAUM L.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 2; PP. 365-379Article

MATERIAL IMPLICATION, CONFIRMATION, AND COUNTERFACTUALSFARRELL RJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 383-394Article